drawing logic circuits from boolean expressions